[计] 语义检查;
Pattern matching utilizes abstract syntax tree isomorphism algorithm; Pointer semantics determines the semantics of programs through semantic constraints to check out security vulnerabilities; Interprocedural analysis adopts summary-based context sensitive analysis.
模式匹配采用了抽象语法树同构判断算法;指针语义则是通过语义约束来确定程序唯一语义以达到检查安全漏洞的目的;跨过程分析采用基于总结的上下文敏感分析方法。
简答网 · 四六级英语
简答网 · 中考英语
简答网 · 初中英语作文
简答网 · 高考英语